_require "../../../../smlnj-lib/Util2/binary-map-fn2.smi"
_require "./IOrd.smi"

structure IEnv = BinaryMapFn2(IOrd)
